#!/bin/bash

exec make -f dev.mk "$@"
